A Tabled Prolog Program for Solving Sokoban
نویسندگان
چکیده
منابع مشابه
Sokoban: Reversed Solving
This article describes a new method for attempting to solve Sokoban puzzles by means of an efficient algorithm, a task which has proven to be extremely difficult because of both the huge search tree depth and the large branching factor. We present a way of solving Sokoban puzzles that, using several heuristics, starts from the final state of a puzzle, and from there works its way back to the in...
متن کاملProgramming in Tabled Prolog very DRAFT
Interpretation Abstract Interpretation examples partial evaluation and assert Show low overhead of tabling in meta interpreter due to how tables are implemented as triesInterpretation examples partial evaluation and assert Show low overhead of tabling in meta interpreter due to how tables are implemented as tries CHAPTER META PROGRAMMING AI of a Simple Nested Procedural Language see warren xsb ...
متن کاملSokoban: Reversed Solving Bachelor Thesis
This bachelor thesis describes a new method for attempting to solve Sokoban puzzles by means of an efficient algorithm, a task which has proven to be extremely difficult because of both the huge search tree depth and the large branching factor. We present a way of solving Sokoban puzzles that, using several heuristics, starts from the final state of a puzzle, and from there works its way back t...
متن کاملXSB: Extending Prolog with Tabled Logic Programming
The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog systems, including XSB, YAP Prolog, B-Prolog, Mercury, ALS, and Ciao. The reasons for this are partly theoretical: tabling ensures termination and optimal known complexity for queries to a large class of programs. However the overriding reasons are practical. TLP allows sophisticated programs to be written con...
متن کاملHuman Problem Solving: Sokoban Case Study
We describe a case study in human problem solving for a particular problem – a Sokoban puzzle. For the study we collected data using the Internet. In this way we were able to collect significantly larger data (2000 problems solved, 780 hours of problem solving activity) than in typical studies of human problem solving. Our analysis of collected data focuses on the issue of problem difficulty. W...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Informaticae
سال: 2013
ISSN: 0169-2968
DOI: 10.3233/fi-2013-849